<? print($_SERVER["HTTP_HOST"]); ?>